A Method for Implementation Description Logic Reasoner
نویسندگان
چکیده
This paper presents implementation details of an ALC (Attribute Language with Complement) description logic reasoner based on a model-engineering technology, called Model Driven Architecture (MDA). Some publicly available reasoners are successfully implemented in object-oriented technology or in LISP programming language, but reasoners do not respect software engineering standards, and their authors did not describe models of the reasoners in a standard (i.e. Unified Modeling Language UML) notation. In this paper we briefly describe basic characteristics of MDA, give the definition of syntax and semantics of ALC description logic, and describe basic reasoning techniques in that logic. Then we outline a method for development an ALC description logic reasoner using MDA standards.
منابع مشابه
A \textsf{C++} reasoner for the description logic $\shdlssx$
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic DL〈4LQSR,×〉(D) (shortly DL D ). The reasoner checks the consistency of DL D -knowledge bases (KBs) represented in set-theoretic terms. It is implemented in C++ and supports DL D -KBs serialized in the OWL/XML format. To the best of our...
متن کاملA C++ Reasoner for the Description Logic DL-4X(D)
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic DL〈4LQSR,×〉(D) (shortly DL D ). The reasoner checks the consistency of DL D -knowledge bases (KBs) represented in set-theoretic terms. It is implemented in C++ and supports DL D -KBs serialized in the OWL/XML format. To the best of our...
متن کاملMDA-Based Architecture of a Description Logics Reasoner
The paper presents the architecture and design of a description logics (DLs) reasoner based on the Model Driven Architecture (MDA) methodology. The architecture relies on OMG's description logics metamodel, tableau metamodel, and model transformations using a language for model transformation. We show an example of DLs knowledge base using UML notation in context of MDA. The idea can be easily ...
متن کاملDIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners
The DIG Interface provides an implementation-neutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface consists of XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. Key changes in the current version (DIG 2.0) include support for OWL 1.1 and well-defined mechanisms for extensions to the basic inter...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005